Nix Flakes, Reproducible Builds, Development Shells, Nix Packages
RePaCA: Leveraging Reasoning Large Language Models for Static Automated Patch Correctness Assessment
arxiv.org·17h
Loading...Loading more...
Nix Flakes, Reproducible Builds, Development Shells, Nix Packages